#ifndef PLIC_H_
#define PLIC_H_

void os_int_init(void);
void os_int_en(unsigned int vector, int en);
void rv_plic_smode_access_en(void);
unsigned int os_vector_get(void);
void os_int_done(unsigned int vector);

#endif /* PLIC_H_ */